I would try to reduce the anxiety to realizing that seemingly the same proposition is really different when it is false by pointing out that the contents of two of our beliefs can be different when we think they are the same as well as being the same when we think they are different. That is, belief contents are not infallibly known or knowable in conscious reflective awareness of beliefs. Trying or wanting to accurately perceive what you are thinking does (...) not guarantee success. We can be wrong even about what we believe our beliefs are we don't and maybe can't realize that two beliefs are contradictory). (shrink)

I would try to reduce the anxiety to realizing that seemingly the same proposition is really different when it is false by pointing out that the contents of two of our beliefs can be different when we think they are the same as well as being the same when we think they are different. That is, belief contents are not infallibly known or knowable in conscious reflective awareness of beliefs. Trying or wanting to accurately perceive what you are thinking does (...) not guarantee success. We can be wrong even about what we believe our beliefs are we don't and maybe can't realize that two beliefs are contradictory). (shrink)

I discuss Dietrich von Hildebrand, a realist phenomenologist, and Louis Groarke, an Aristotelian. They are close in epistemology and modal metaphysics, but divided about the metaphysical necessity of standard lawlike propositions – i.e., standard natural laws and standard truths about natural kinds. I extract and undermine the reasons of both authors. Hildebrand claims that no standard lawlike proposition is metaphysically necessary, since none is in principle knowable solely by considering essences. I undermine this when I argue that the (...) explanation of positive instances of at least some standard lawlike propositions by the metaphysical necessity of these propositions is quite plausibly true. Groarke claims that some standard lawlike propositions are metaphysically necessary, since their positive instances exemplify natural kinds that make all their members necessarily similar in relevant ways. I undermine this, too, as I point out the obscurity of relevant similarity. Finally I argue against Groarke’s suggestion that an appeal to relevant similarity is presupposed in all acceptable inductive arguments from samples. (shrink)

In this critical review of Robert Hanna's ingenious book (2006), I aim to support Hanna‟s main insightful reading of Kant, namely what he calls “a priori truth with a human face," without appealing to Kant's divide between a priori and a posteriori and analytic and synthetic truths. My suggestion is that transcendental propositions are necessary neither in the usual epistemological sense that analytic propositions are, let alone in the metaphysical sense that some empirical propositions are. (...) Instead, they are necessary in the theoretical domain in the weak alternative sense that they make possible the empirical recognition of appearances as an object as an indispensable condition of our self-consciousness experience, and they are a priori in the practical domain in the sense that their truth is vital for our self-comprehension as human beings. (shrink)

It is commonly accepted by Kant scholars that Kant held that all necessary truths are a priori, and all a priori knowledge is knowledge of necessary truths. Against the prevailing interpretation, I argue that Kant was agnostic as to whether necessity and a priority are co-extensive. I focus on three kinds of modality Kant implicitly distinguishes: formal possibility and necessity, empirical possibility and necessity, and noumenal possibility and necessity. Formal possibility is compatibility with the forms of experience; empirical (...) possibility is compatibility with the causal powers of empirical objects; noumenal possibility is compatibility with the causal powers of things in themselves. Because we cannot know the causal powers of things in themselves, we cannot know what is noumenally necessary and what is noumenally contingent. Consequently, we cannot know whether noumenal necessity is co-extensive with a priority. Therefore, for all we know, some a priori propositions are noumenally contingent, and some a posteriori propositions are noumenally necessary. Thus, contrary to the received interpretation, Kant distinguishes epistemological from metaphysical modality. (shrink)

Though some doubts about the principle that every proposition is either true or false were entertained even by Aristotle, both the number and the vigor of criticisms of this principle have been increasing in recent years. This paper attempts a restatement and a re-examination of the issues involved in this dispute, and in particular an evaluation of the effects on the argument of such recent discoveries as that of the “many-valued logics.”.

"Jim would still be alive if he hadn't jumped" means that Jim's death was a consequence of his jumping. "x wouldn't be a triangle if it didn't have three sides" means that x's having a three sides is a consequence its being a triangle. Lewis takes the first sentence to mean that Jim is still alive in some alternative universe where he didn't jump, and he takes the second to mean that x is a non-triangle in every alternative universe (...) where it doesn't have three sides. Why did Lewis have such obviously wrong views? Because, like so many of his contemporaries, he failed to grasp the truth that it is the purpose of the present paper to demonstrate, to wit: No coherent doctrine assumes that statements about possible worlds are anything other than statements about the dependence-relations governing our world. The negation of this proposition has a number of obviously false consequences, for example: all true propositions are necessarily true (there is no modal difference between "2+2=4" and "Socrates was bald"); all modal terms (e.g. "possible," "necessary") are infinitely ambiguous; there is no difference between laws of nature (e.g. "metal expands when heated") and accidental generalizations (e.g. "all of the coins in my pocket are quarters"); and there is no difference between the belief that 1+1=2 and the belief that arithmetic is incomplete. Given that possible worlds are identical with mathematical models, it follows that the concept of model-theoretic entailment is useless in the way of understanding how inferences are drawn or how they should be drawn. Given that the concept of formal-entailment is equally useless in these respects, it follows that philosophers and mathematicians have simply failed to shed any light on the nature of the consequence-relation. Q's being either a formal or a model-theoretic consequence of P is parasitic on its bearing some third, still unidentified relation to P; and until this relation has been identified, the discipline of philosophical logic has yet to begin. (shrink)

Philosophers have not been sceptical only about metaphysics or religious beliefs. There are a great number of other beliefs generally held which they have had at least as much difficulty in justifying, and in the present article I ask questions as to the right philosophical attitude to these beliefs in cases where to our everyday thought they seem so obvious as to be a matter of the most ordinary common sense. A vast number of propositions go beyond what is (...) merely empirical and cannot be seen to be logically necessary but are still believed by everybody in their daily life. Into this class fall propositions about physical things, other human minds and even propositions about one's own past experiences based on memory, for we are not now ‘observing’ our past. The phenomenalist does not escape the difficulty about physical things, for he reduces physical object propositions, in so far as true, not merely to propositions about his own actual experience but to propositions about the experiences of other human beings in general under certain conditions, and he cannot either observe or logically prove what the experiences of other people are or what even his own would be under conditions which have not yet been fulfilled. What is the philosopher to say about such propositions? Even Moore, who insisted so strongly that we knew them, admitted that we did not know how we knew them. The claim which a religious man makes to a justified belief that is neither a matter of purely empirical perception nor formally provable is indeed by no means peculiar to the religious. It is made de facto by everybody in his senses, whether or not he realizes that he is doing so. There is indeed a difference: while everyone believes in the existence of other human beings and in the possibility of making some probable predictions about the future from the past, not everybody holds religious beliefs, and although this does not necessarily invalidate the claim it obviously weakens it. (shrink)

This book is concerned with discovering the necessary and sufficient conditions for a person's being justified in believing propositions about the empirical world and for propositions about the empirical world being justified for a person. Within this context, the problem that serves as the focus for the book is "the epistemic regress problem." Briefly, the problem starts with the assumption that a person S is justified in believing that a proposition P1 is true because S is justified (...) in believing that proposition P1 is true and P1 entails P0. But what justifies S's belief that P1 is true? Moser suggests that there are at least four possible accounts of inferential justification: inferential justification via infinite regresses, inferential justification via justificatory circles of some sort, inferential justification via the unjustified and inferential justification via immediate justification. Following his introductory chapter, where the parameters within which the discussion will proceed are concisely laid out, Moser considers the merits of each position before finally opting for a version of foundationalism he calls "epistemic intuitionism.". (shrink)

Can we find propositions that cannot rationally be denied in any possible world without assuming the existence of that same proposition, and so involving ourselves in a contradiction? In other words, can we find transworld propositions needing no further foundation or justification? Basically, three differing positions can be imagined: firstly, a relativist position, according to which ultimately founded propositions are impossible; secondly, a meta-relativist position, according to which ultimately founded propositions are possible but unnecessary; and thirdly, (...) an absolute position, according to which such propositions are necessary. In this short essay I show that under the premise of modal logic S5 with constant domain there are ultimately founded propositions and that their existence is even necessary, and I will give some reasons for the superiority of S5 over other logics. (shrink)

It is increasingly recognized that knowledge is the norm of assertion. As this view has gained popularity, it has also garnered criticism. One widely discussed criticism involves thought experiments about “selfless assertion.” Selfless assertions are said to be intuitively compelling examples where agents should assert propositions that they don’t even believe and, hence, don’t know. This result is then taken to show that knowledge is not the norm of assertion. This paper reports four experiments demonstrating that “selfless assertors” are (...) viewed as both believing and knowing the propositions they assert: this is the natural and intuitive way of interpreting the case. Thought experiments about selfless assertions do not threaten the knowledge account and they do not motivate weaker alternative accounts. The discussion also highlights a general lesson for philosophers: thought experiments intended to probe for mental state attributions should not conflict with basic principles that guide social cognition. (shrink)

Jesse Prinz (2006, 2007) claimed that emotions are necessary and sufficient for moral judgments. First of all, I clarify what this claim amounts to. The view that he labels emotionism will then be critically assessed. Prinz marshals empirical findings to defend a series of increasingly strong theses about how emotions are essential for moral judgments. I argue that the empirical support upon which his arguments are based is not only insufficient, but it even suggests otherwise, if properly interpreted. My (...) criticism is then extended to his sentimentalist theory, that accounts for how emotions are integrated into moral judgments. The central problem is that Prinz’s view fails to capture the rational aspect of moral evaluation. I make this failure explicit and defend that some version or other of neosentimentalism is a more promising route. (shrink)

Lies are typically defined as believed falsehoods asserted with the intention of deceiving the hearer. A particularly problematic case for this definition is that of false implicatures. These are prototypically cases where the proposition expressed by the speaker's utterance is true, yet an implicature conveyed by this proposition in context is false. However, implicature is a diverse category and whether a blanket statement such as “false implicatures are lies,” as some have argued can account for all of them is (...) open to investigation. We present an experimental investigation of whether naïve participants define different types of implicatures as lies. Our results show that only a couple of types of implicatures were strongly rated as lies by participants. These results suggest that participants distinguish between different types of communicated meanings on linguistic grounds, contributing both to the literature on lying, as well as to theoretical discussions of how different types of meaning are communicated. (shrink)

There is a widely held view that the expressions ‘necessary truth’, ‘a priori truth’ and ‘analytic truth’ either express the same concept or, at least, refer to all and only the same items. Philosophers who hold this view, and who are sometimes described as ‘empiricists’, often draw the conclusion that the truths of logic and mathematics, if necessary, are also a priori and are, in some important sense, empty or not about the world. The subject matter of (...) these disciplines, then, is said to differ in a philosophically important way from that of the empirical sciences, such as physics or chemistry. Rationalists, in contrast, have traditionally held that some a priori truths, either of logic or mathematics, are synthetic and, hence, non-analytic: i.e., there are synthetic a priori truths. (shrink)

Philosophical and empirical moral psychologists claim that emotions are both necessary and sufficient for moral judgment. The aim of this paper is to assess the evidence in favor of both claims and to show how a moderate rationalist position about moral judgment can be defended nonetheless. The experimental evidence for both the necessity- and the sufficiency-thesis concerning the connection between emotional reactions and moral judgment is presented. I argue that a rationalist about moral judgment can be happy to accept (...) the necessity-thesis. My argument draws on the idea that emotions play the same role for moral judgment that perceptions play for ordinary judgments about the external world. I develop a rationalist interpretation of the sufficiency-thesis and show that it can successfully account for the available empirical evidence. The general idea is that the rationalist can accept the claim that emotional reactions are sufficient for moral judgment just in case a subject’s emotional reaction towards an action in question causes the judgment in a way that can be reflectively endorsed under conditions of full information and rationality. This idea is spelled out in some detail and it is argued that a moral agent is entitled to her endorsement if the way she arrives at her judgment reliably leads to correct moral beliefs, and that this reliability can be established if the subject’s emotional reaction picks up on the morally relevant aspects of the situation. (shrink)

// tl;dr A Proposition is a Way of Thinking // -/- This chapter is about type-theoretic approaches to propositional content. Type-theoretic approaches to propositional content originate with Hintikka, Stalnaker, and Lewis, and involve treating attitude environments (e.g. "Nate thinks") as universal quantifiers over domains of "doxastic possibilities" -- ways things could be, given what the subject thinks. -/- This chapter introduces and motivates a line of a type-theoretic theorizing about content that is an outgrowth of the recent literature on epistemic (...) modality, according to which contentful thought is broadly "informational" in its nature and import. The general idea here is that an object of thought is not a way *the world* could be, but rather a way *one's perspective* could be (with respect to a relevant representational question). I will spend the middle part of this chapter motivating and developing a version of this strategy that is, I’ll argue, well-suited to explaining clear phenomena concerning the attribution of perspectival attitudes -- in particular, attitudes towards loosely information-sensitive propositions -- with which extant approaches struggle. My overarching goal here will be to motivate a distinctive version of the "informational" approach -- the "Flexible Types" approach, which is based on the theory proposed in Charlow (2020). According to the Flexible Types approach, propositional attitude verbs are quantifiers over sets of possibilities, but a possibility is a type-flexible notion -- sometimes a possible world, sometimes a perspective, sometimes a set of possible worlds, sometimes a set of perspectives. -/- After introducing the Flexible Types approach, this chapter circles back to more traditional concerns for the analysis of propositions as types of possibilities -- Frege's Puzzle and the problem of Logical Omniscience. Here too the Flexible Types approach bears fruit. Although there are certainly significant differences -- I note some in the concluding section -- the gist of this theory is Hinitkkan or Lewisian in spirit (if not quite in letter). We can make progress on addressing the challenges for the analysis of propositional content in terms of types of possibilities, through empirically driven refinement of our notion of what kind of thing a "doxastic possibility" is. (shrink)

According to neo-classical economic theory, free markets should eventually settle at the most efficient equilibrium. Critics of the view have claimed, however, that even if the idealised conditions demanded by the theory were met (such that the markets in question were completely fee) one would still not find those markets settling at the optimally efficient equilibrium because of the path dependent' nature of economic decision-making. Essentially, the claim is that economic decision-making is always informed by the historical setting in such (...) a way as to prevent those decisions from generally tending towards an optimally efficientequilibrium.It is argued that this debate has been hampered by the fact that the usual three-tiered way of understanding path dependence offered by Stan Liebowitz and Stephen Margolis fails to capture what proponents of the view have in mind. By examining the way in which the notion of path dependence is often described interms borrowed from the philosophy of science, this paper contends that we can gain a more accurate understanding of this notion by recasting it in the light of the Wittgensteinian conception of a 'hinge' proposition. This new account has the advantage of being clearer about the kind of empirical data that is relevant to the issue of whether path dependence is a genuine and economically significant phenomenon. Furthermore, it is argued that this modified account of path dependence may be able to resist some of the key objections that have been levelled against this notion. (shrink)

© The Authors 2017. Published by Oxford University Press on behalf of The Analysis Trust. All rights reserved. For Permissions, please email: [email protected] Propositions, Trenton Merricks defends a certain vision of the metaphysics of propositions: propositions exist necessarily and they primitively and essentially represent the world as being a certain way. The book is compact but rich: it is packed with arguments, moves at a fast pace, yet is written with admirable clarity.While I am sympathetic to many (...) of Merrick’s conclusions, I found some of his arguments towards these conclusions lacking. In Section 1, I discuss his claim that arguments constituted by propositions cannot be logically valid. In Section 2, I discuss his argument against singular propositions as having the entities they are about as constituents, and in particular his commitment to necessarily existing singular propositions... (shrink)

2. That experiential statements must be unquestionably certain cannot be shown by reference to actual instances: Any sentence purporting to describe experiential data may conceivably be a lie or involve inadvertent misuse of language. Hence, experiential statements that are certain play, at best, the role of hypothetical elements in a logical reconstruction of knowledge. The assumption of such incorrigible elements is not necessary.

Preoccupation with language is a notable feature of modern philosophy. Indeed, it is not too much to say that the influence of language on thought, and particularly its influence on philosophical thought, is a leading topic of philosophical discussion in this century. Every philosopher of any note, no matter what his general interests may be, has found it necessary to define his attitude to this problem. The attitude usually adopted consists of an admission that language does have a great (...) influence on thought, and on philosophical thought in particular. More accurately, it is claimed that the structure and grammatical categories, and perhaps the vocabulary, natural to a particular language, determine the lines of thought and speculation open to any thinker who uses that language .This determination is unimportant in many cases, because the results of our thinking are usually subject to check by appeal to empirical facts. In philosophical thinking, however, no such check is available by the very nature of the case. Accordingly, we cannot tell if the difficulty or apparent insolubility of a philosophical problem is due to the problem itself, or simply due to inadequacies in our language. In a different language, so it is suggested, the problem which is difficult for us might very easily be solved. Indeed, there might not then be any such problem, or its solution might be self-evident in this other language. This is the moderate attitude to the language difficulty in philosophy, and it is fair to say that it is almost universally adopted at the present day. In some circles it has acquired the prestige of an indisputable dogma. (shrink)

Some philosophers hold that philosophy is what you do to a problem until it’s clear enough to solve it by doing science. Others hold that if a philosophical problem succumbs to empirical methods, that shows it wasn’t really philosophical to begin with. Either way, the facts seem clear enough: questions first mooted by philosophers are sometimes coopted by people who do experiments. This seems to be happening now to the question: “what are propositional attitudes?” and cognitive psychology is the (...) science of note. (shrink)

Philosophers have understood propositional contents in many different ways, some of them imposing stricter demands on cognition than others. In this paper, I want to characterize a specific sub-type of propositional content that shares many core features with full-blown propositional contents while lacking others. I will call them modest propositional contents, and I will be especially interested in examining which behavioral patterns would justify their attribution to non-human animals. To accomplish these tasks, I will begin by contrasting modest propositional (...) contents with primitive feature-placing contents: a kind of content that, according to some philosophers, can explain the behavior of non-human animals. I will examine which cognitive abilities are involved in having mental states with each of these contents and which sorts of behavioral patterns would provide evidence that an animal has one of them or another. Finally, I will present some empirical evidence which strongly suggests that some non-human animals have mental states with modest propositional contents. (shrink)

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance (...) Hale and Wright 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)

In the opening sections of this paper, we defined ambiguity in terms of distinct sentences (for a single sentence-string) with, in particular, distinct sets of truth conditions for the corresponding negative sentence-string. Lexical vagueness was defined as equivalent to disjunction, for under conditions of the negation of a sentence-string containing such an expression, all the relevant more specific interpretations of the string had also to be negated. Yet in the case of mixed quantification sentences, the strengthened, more specific, interpretations of (...) some such positive string are not all of them necessarily implied to be false if the corresponding negative sentence-string is asserted. On the contrary, as we saw in section 6, a negative sentence-string can be used to deny one of the more specific interpretations of the corresponding positive string without also denying other weaker interpretations of that same string. One might therefore argue that the only empirical evidence availble for assessing quantified sentences suggests clearly that these sentence-strings are ambiguous. Indeed logicians, many of whom restrict their attention to propositions, MUST recognise logical ambiguity at this point. For the contextualisation of the negative sentences in section 6 showed that it was possible to assert the falsity of some proposition P expressed by the sentence S while asserting a further proposition which was compatible with the truth of S. However the corresponding conclusion that such sentence-strings are sententially ambiguous is not a necessary conclusion for the linguist: for the alternative account of postulating a single semantic representation plus a set of semantic procedures is also compatible with the negation evidence. Moreover we have seen independent reasons for thinking that if sentential ambiguity is assumed to be in one-to-one correspondence with what we should now call logical ambiguity, a considerable body of generalisations is lost. For the maximal ambiguity account, it should be recalled, is committed to assigning at least thirteen distinct propositions and hence thirteen distinct sentence outputs for every sentence-string containing no more than two quantifiers, for three out of the four interpretations originally outlined in this paper can be understood with each numeral taken either in an ’exactly’ sense or in an ’at least’ sense. Moreover there is no explanation of why just these interpretations are available-they are merely an arbitrary list, no more connected than are the two interpretations of John saw her duck, with no reason to predict that the ambiguity would carry over from language to language. If then it is granted that an ambiguity account fails to capture appropriate generalisations, only two alternative accounts of mixed quantification sentence-strings remain viable-an analysis proposing an initial co-ordinate logical form like the logical form III, which is the strongest form compatible with each of the propositional interpretations of sentence-string Two examiners marked six scripts, and the radically weak form in which only existential quantification (both over sets and over members of those sets) is invoked. Since there are strong arguments to suggest that the procedures which both analyses require are semantic, there seems no reason not to adopt the radical vagueness account, with its considerably greater simplicity. (shrink)

Some philosophers hold that philosophy is what you do to a problem until it’s clear enough to solve it by doing science. Others hold that if a philosophical problem succumbs to empirical methods, that shows it wasn’t really philosophical to begin with. Either way, the facts seem clear enough: questions first mooted by philosophers are sometimes coopted by people who do experiments. This seems to be happening now to the question: “what are propositional attitudes?” and cognitive psychology is the (...) science of note. (shrink)

An important issue for visual argumentation is its relationship to propositions, since it has been argued that, in order to be arguments, images should be propositional. The first part of the paper will approach this debate from a theoretical perspective. After quickly surveying the field on the issue, I will address the relationship between images and propositions. Three specific questions will be examined: can propositions accurately account for the way images express arguments?; are verbal propositions (...) class='Hi'>necessary to reconstruct arguments that images alone cannot convey, due to their lacking linguistic tools?; are images essentially non-propositional because they don’t have truth-value? The second part of the paper will include a detailed analysis of two posters. From these analyses, I will ultimately conclude that some images can display a visual argument without necessarily being propositional. (shrink)

There are various entities which, if they exist, would be candidates for necessary beings: God, propositions, relations, properties, states of affairs, possible worlds, and numbers, among others. Note that the first entity in this list is a concrete entity , while the rest are abstract entities. Many interesting philosophical questions arise when one inquires about necessary beings: What makes it the case that they exist necessarily? Is there a grounding for their necessary existence? Do some (...) of them depend on others? If so, how might one understand the dependence relation? (shrink)

Merely conceptual knowledge, not based on specific sensitivity to the referential domain, is not seriously a priori. It is argued here that it is either weakly and superficially a priori, or downright a posteriori. This is done starting from the fact that many of our definitions (or concepts) are recognizably empirically established, and pointing out that recognizably empirical grounding yields superficial apriority. Further, some (first-order) concept analyzing propositions are empirically false about their referents and thus (...) class='Hi'>empirically refutable. Therefore, our empirical definitions (or concepts) are fallible and empirically revisable: they can turn out to be incorrect about the intended satisfiers of the concept defined, and their concept analyzing propositions to be false. Now, empirical revisability is incompatible with strong apriority (and entails at best a weak apriority or aposteriority). The result is quite shocking: analyticity does not entail apriority. (shrink)

Plato did it. Aristotle did it. All the great philosophers did it. You do it and we do it: we draw philosophical conclusions from linguistic data. Although we all do it, the degree, manner, and intensity to which it is done varies. Some have made piecemeal observations about language (e.g., “all these different things have the same term predicated of them”) to draw metaphysical conclusions (e.g., “there is some one existing thing that all these different entities share”). Others (...) have made observations about how all people – or at least, some important subset of them – employ a term (e.g., “we don’t say an action is voluntary unless we wish to say that it was done for (or in) an unusual reason (or manner)”) to draw conclusions about human agency (e.g., “actions that are done in the normal way in the normal course of events are neither free nor compulsory”). And others have looked to how people would talk were certain actual conditions not to be true (e.g., “we would say that we were still talking about Aristotle even if it were to turn out that he didn’t teach Alexander the Great”) to infer necessary features of the semantic realm (e.g., that some propositions must contain an actual individual and not a description of an individual). Still others have looked to empirical results from the science of linguistics (e.g., “the types of complements allowed by the verbs believes and knows are different”) to draw epistemological conclusions (e.g., “knowledge of something does not imply belief of it”), or again “the distributional facts concerning knows that and knows how are the same” to draw the conclusion “practical knowledge is a kind of theoretical knowledge”. (shrink)

I take issue with Pieranna Garavaso’s contention - lodged in a rapprochement between Wittgenstein and Quine - that for Wittgenstein, there is no sharp categorial distinction between logical and empirical propositions, but only one of degree. I argue that Garavaso’s conclusion results from a misunderstanding of the river-bed analogy in On Certainty (96-99). When Wittgenstein maintains there is not a sharp boundary between propositions of logic and empirical propositions, he does not imply that there is not a (...) sharp categorial difference between them, but that the boundary is permeable. The consequent changeability of status of logical and empirical propositions does not entail the collapse, or even a partial blurring, of their respective categories. I then address Wittgenstein’s puzzlement, in On Certainty, about the logical status of some apparently empirical propositions, and show that he resolves this not, as is often thought, by concluding that some empirical propositions are necessary, but by recognizing the ‘empiricality’ of these propositions as merely apparent. A line is thereby drawn between empirical propositions and framework propositions that only have the form of empirical propositions (OC 401). I conclude that, unlike Quine, Wittgenstein held a foundational view of our system of beliefs, making a categorial distinction between the foundation-walls and the house, and regarding part of these foundations as immovable. (shrink)

The study of social, ethical, and political issues from a naturalistic perspective has been pervasive in social sciences and the humanities in the last decades. This articulation of empirical research with philosophical and normative reflection is increasingly getting attention in academic circles and the public spheres, given the prevalence of urgent needs and challenges that society is facing on a global scale. The contemporary world is full of challenges or what some philosophers have called ‘existential risks’ to humanity. Nuclear (...) wars, natural and/or engineered pandemics, climate change, global totalitarianism, and emergent technologies, are some of the challenges mentioned by many authors devoted to the study of long-term potential risks for the survival of the human species. However, while there are many reasons to be a pessimist about the future of humanity, there is also a lot of ink wasted in showing that the world today is far better than we had in the past and also that there have been many instances of social and moral progress in the last centuries. Some authors have even claimed that “we have made more progress over the last 100 years than in the first 100,000”. According to ‘our world in data’, some of the most relevant advances of humanity in the last centuries have to do with the reduction of poverty and/or inequality, better health and security, the decline of violence and war, and the development of democracy and institutional mechanisms to guarantee individual freedom and rights. Yet, there is a more concrete concern that our world faces nowadays, and requires a particularly detailed analysis. In a few words, the advance in information and communication technologies, the huge volume of people migration because of prevalent instances of global inequality, and the reality of an interconnected world that just mirrors an extensive history of massive human intergroup relations open the question about the feasibility of social and moral progress in the contexts of diverse, multicultural, and unequal societies. This makes it crucial to reflect not only on whether human societies may keep advancing on a path of social progress, but how this can be achieved by addressing the challenges of inequality and potential intergroup conflict. This concern closely relates to the further consolidation of democratic values and the achievement of a more generalized consideration of the equal moral value of human individuals far from group, ethnic, or collective distinctions. This vision of progress follows the moral convictions that have been considered right and worthy to be pursued by most ethical theories explored by philosophers and social scientists so far. This work aims to contribute to the study of the mechanisms and feasibility of social and moral progress grounded on the precept of human equality and is guided by the idea that social and moral progress in a plural world requires the accomplishment of a more democratic and tolerant society. These forms of progress have already been defined by philosophers Allen Buchanan and Russel Powell as inclusivist forms of moral progress. According to these authors, inclusivist moral progress is featured by the transformation of moral judgments, motivations, and norms guided by the rejection of “group-based restrictions on moral standing and moral status” (2018). The work of Buchanan and Powell is fundamental for the argumentation developed in this work since they have pioneered a more complex debate in the field of evolutionary social sciences and philosophical anthropology. In brief, these authors have inquired how human nature, conceptualized by the advances in evolutionary thinking and the empirical sciences, is related to our moral convictions and the possibilities that we have to establish certain forms of social and moral progress. The work of Buchanan and Powell contributes to the debate on moral progress by incorporating empirically-informed concepts and arguments. With this objective in mind, they develop their discussion around a generalized tension between exclusivist and inclusivist forms of moral progress. This tension revolves around the question of whether and to what extent human moral concerns, motivations, and norms, are limited or bounded by social identities, group thinking, or collective values. This question is at the center of this work. In other words, I aim to answer whether and to what extent the nature of our social and moral cognition hinders or enables the development of inclusivist forms of morality and moral progress. As I mentioned so far, the distinction between exclusivist and inclusivist forms of morality has a practical implication and facilitates the reflection on the mechanisms and feasibility of concrete forms of progress based on the precept of human equality, which is the road to progress that we should follow according to most ethical theories. The distinction between exclusivist and inclusivist morality is not used here as a form of summarizing highly divergent descriptive approaches to morality, but as a way to address the practical implications of morality research, particularly around the question of the feasibility of social forms of progress based on the precept of equality and tolerance. My objective then has less to do with offering a conceptualization of human morality or with the proposition of a new ethical perspective. Instead, I aim to identify, from an empirically informed perspective, what enables the achievement of egalitarian forms of social progress, to subsequently offer a normative reflection about what we should do if we want to accomplish such inclusivist forms of progress. This task is of great relevance, having in mind that some theoretical proposals on the matter have claimed that human prosocial behavior and morality are constrained by exclusivist fixed tendencies as a product of our evolutionary history. According to these views, human morality is a group-centered cognitive and behavioral expression that has severe limits in its scope and extent, which hinders in the end the emergence of inclusivist forms of moral concerns and behaviors. These claims align with the philosophical intuition about the ‘dissociation of empathy’, or the fact that human individuals tend to express empathy and sympathy preferably for members of their group whereas their empathic and moral concern and recognition for outgroup individuals tend to be reduced or eliminated in real-life social interactions. Multiple theorists have expressed, however, that these assumptions are wrong for empirical and philosophical reasons, which results in a serious challenge to the conception of human morality as exclusivist by nature. Furthermore, simple intuition and practical experience constantly show us that human individuals can develop and endorse a broad spectrum of moral considerations and adopt an arguably inclusivist stance concerning the kind of persons or agents that deserve moral concern. Moreover, and adopting a historical perspective, the expansion of cultural and commercial exchanges, the consolidation of democracy, the development of welfare states, or the emergence of institutions based on the concept of universal human rights, have partially driven human progress based on the impartial concern for the well-being of persons. These historical instances of cultural evolution and institutional design have shown that it is feasible to promote behaviors and attitudes grounded in impersonal prosocial and inclusivist principles. This optimistic perspective, however, still begs the question of the exact relationship between social, cultural, and historical contexts, and the emergence of certain behavioral expressions of inclusivist morality. This is crucial since a great number of human individuals around the world still do not make part of these instances of social progress, and some authors have suggested that such instances of social and moral progress are particularly favored by the contexts of the WEIRD world, that is the world of Western, Educated, Industrialized, Rich, and Democratic societies. Some of these approaches consider moral inclusivity a ‘luxury good’ and follow the ‘dependency thesis’ according to which the expression of moral inclusivity depends on the presence of very concrete material conditions that trigger inclusivist and impersonal prosocial tendencies that human beings are not able to express in threatening contexts without physical security. This thesis is problematic for various reasons and has led to incomplete explanations about the enabling and causal factors of inclusivist moral progress, as well as unsatisfactory suggestions about what we should do to foster the accomplishment of more generalized instances of progress based on inclusivist concerns. In an attempt to contribute to this debate, the main objective of this thesis is to offer an alternative proposal about the nature of human morality and a more detailed reflection on what we should do if we want to further accomplish such instances of progress. More precisely, this work adopts a particular developmental and constructivist vision of human morality to answer the question of how feasible it is to reach generalized forms of social progress based on the precepts of moral inclusivity. Furthermore, it offers some ideas about what are the most adequate and favorable conditions to foster such progress both at the individual and the collective level. At this point, a preliminary clarification of some starting points is necessary. In the first place, and contrary to what other authors have proposed when debating moral progress from an empirically-based approach, my perspective adopts a radical developmental and constructivist perspective, following particularly the conceptual and empirical ideas of the social-domain theory in moral psychology. From this perspective, morality is a domain of normative and social knowledge that develops and emerges in human interactions. Moral concerns, judgments, and norms are not only the result of the expression of innate adaptive intuitions, nor the product of social conformity and a simple process of mirroring the normativity that communities have established to organize their social life. Human individuals, instead, construct moral concerns and judgments during their situated interactions. More specifically, the constructivist tradition claims that we need to research how moral concerns, judgments, and reasons emerge in social interactions and how human beings construct the content of their moral knowledge in the first place. Based on these ideas, morality is defined here as the result of a constructive process through which human individuals, by the means of constant interactions on a background of mutual respect and recognition, develop evaluative concerns about how we ought to treat others, and how to ‘care’ and ‘respect’ others’ well-being, needs, and vulnerabilities. This developmental-constructivist theory of human psychology contributes to an alternative understanding of the origins of moral variability and informs a very particular normative stance about the most desirable contexts needed for the urgent accomplishment of inclusivist forms of morality in contemporary societies. This is so given that the very same definition of morality adopted presupposes the feature of inclusivity. The main objective of this work is then to argue, based on a developmental perspective, what are the most favorable conditions to foster the development of moral inclusivity and what we should do to accomplish concrete instances of moral progress that truly help us to overcome our most urgent moral challenges. The whole thesis is organized as follows. In part I, I show how received visions about human social evolution have informed conceptions of morality as an adaptive function evolved to solve the challenges of cooperative life. Based on these assumptions, some theories argue that human morality is limited by the boundaries of group thinking, and always obeys the mandates of collective interests and the will of the majority. However, this conception has problematic implications from a normative and ethical perspective. The aim of Chapter 1 is to present this introductory debate in detail. In chapter 2, I consider a relevant amount of scientific evidence that helps to consolidate a more optimistic and inclusivist perspective about the starting conditions of human prosocial behavior. Later, I will summarize some ideas offered to explain the possible evolutionary mechanisms that led to the consolidation of these inclusivist capacities. However, I will also show how evolutionary theories that share the same adaptationist foundations but initially seem relevant to explain the feasibility of moral inclusivity, result incomplete when considering the complexity of moral behavior and its ethical implications. Part II is devoted to presenting a developmental alternative to the adaptationist versions around the starting conditions of morality. In this section, I first summarize the epistemological, conceptual, and empirical basis of a constructivist perspective already proposed by several authors in the last decades. This is the goal of chapter 3. More precisely, I adopt the conceptualization of morality established by the social-domain theory school and clarify its conception of the situated development of moral concerns, motivations, and norms. All these ideas are essential for my argumentation on the feasibility of inclusivist moral progress offered later. Chapter 4 provides a more detailed idea of constructivist thinking about moral development, by analyzing one particular dimension: the development of moral concerns for fairness and the sense of justice in distributive dilemmas. In Part III, I assume a constructivist perspective on morality to contribute to the philosophy of moral progress. In particular, I discuss the implications of such a perspective for the conceptualization of human moral nature and discuss what are the most favorable conditions for moral inclusivity to emerge. Answering that question is of enormous relevance since favoring the transition of human societies towards more inclusivist forms of moral concern and behavior supposes a more generalized accomplishment of our most urgent moral convictions. Previous developmental or culturally-sensible attempts to explore this issue are already on the market. As mentioned before, most authors have approached the topic by situating the cultural evolution and development of (inclusivist) moral progress in the WEIRD world. For instance, some of these authors claim that very concrete material conditions (mostly present in the Western World) have been necessary for triggering inclusivist and impersonal prosocial tendencies that human beings are not able to express in threatening contexts without physical security. Despite their interest in explaining inclusivist morality and the feasibility of inclusivist forms of progress following a naturalistic and culturally situated approach, these theories are problematic for two main reasons. In the first place, most of the authors that explain moral progress tend to focus exclusively on the consolidation of liberal values in the Western world and the underlying adoption of laws, social-epistemic practices, and public narratives about tolerance and inclusivity, as unequivocal signs of inclusivist morality. Nevertheless, there is an enormous distance between the institutional and public support of inclusivist moral values or the construction of public images of tolerance and inclusivity, and the real materialization of impersonal moralities in situated social interactions. Secondly, the variability of human moral behavior is far bigger than most of the theories in moral psychology and moral progress tend to assume. Accordingly, inclusivist and exclusivist forms of morality may develop simultaneously in similar or divergent geographical and socio-ecological environments, including those with harsh conditions such as competition for scarce resources, potential intergroup conflict, and risks of disease transmission. In addition, harsh environmental conditions are usually present in almost all societies around the globe, and the presence of socio-ecological conditions such as physical security and prosperity, predominant in highly resourced populations, do not prevent the existence of exclusivist moral tendencies. My model explores a different perspective on the relationships between cultural, institutional, and historical factors, and the situated development of human morality. This supposes a clear distinction from previous approaches to the matter since it offers a different view on what we should do to pursue further instances of inclusivist social progress. In the fifth chapter, I first analyze the proposals of some defenders of the ‘dependency’ theory. The attention is focused on the ‘Evolutionary Developmental Model’ proposed by Buchanan and Powell (2018). Based on a critique of this approach, I will argue that to explain the evolution and development of human morality in its multiple manifestations, it is essential to put focus on social interactions. This also involves a different perspective on human-environment relations that in line with a constructivist worldview makes an innovative contribution to the philosophy of moral behavior and moral progress. Later, in the sixth chapter, I will define my alternative relational view of inclusivist morality and I will offer my view on how to establish favorable conditions that make inclusivist morality possible. Complementing the constructivist approach, my conception is based on the essential role of equality and individuality and on how moral inclusivity is favored if moral concerns do not develop driven by the accomplishment of group-centered, binding, and communitarian concerns and values. In brief, my relational model suggests that the accomplishment of moral inclusivity not only depends on the overall achievement of certain levels of physical security or economic prosperity. Instead, its development is favored by transforming the interactional contexts in which moral concerns towards autonomy and individuality emerge. In arguing so, I will need to start with a critique of contemporary situated and embodied approaches in ethics. Then, I will show how societies guided by the accomplishment of group-centered values of power, dominance, and relational inequality tend to express exclusivist moral behaviors, while individualistic societies tend to be more inclusivist. Starting from this diagnosis, my final attempt is then to reflect on which are the best conditions for the moral valuation of individuality to emerge and what we should do to promote the accomplishment of moral inclusivity at the societal level. (shrink)

There seems to be something mysterious about applications of for- mal systems, including those of logic, to empirical reality 1 . If logic is to be applied to empirical situations, like those described in an ordinary lan- guage, then { it seems to some people { its statements cannot be necessary, or analytic, propositions. However, they are both applicable and necessary. This supposed puzzle constitutes a signicant part of the problem of philo- sophical foundations of logic (...) 2 . To this mind of the present writer, there is no mystery of applications, since any empirical, or even ostensive, predicate can be involved in cer- tain meaning postulates, e.g. \No red is green", which are both empirical and necessary propositions; empirical as they involve ostensibly dened predicated; necessary, as it is enough to know their meaning to state, their validity. The case of logical theorems can be considered at the same footing, logical constants being treated as dened ostensively. Nevertheless, not an individual state of mind but the actual state of scholarly discussions makes something a problem; in the present state of foundational discussions on logic, the \mystery of applications" preserves its vitality, hence any new way of dealing with it proves welcome. (shrink)

In this chapter, it is suggested that our epistemic access to metaphysical modality generally involves rationalist, a priori elements. However, these a priori elements are much more subtle than ‘traditional’ modal rationalism assumes. In fact, some might even question the ‘apriority’ of these elements, but I should stress that I consider a priori and a posteriori elements especially in our modal inquiry to be so deeply intertwined that it is not easy to tell them apart. Supposed metaphysically necessary (...) identity statements involving natural kind terms are a good example: the fact that empirical input is crucial in establishing their necessity has clouded the role and content of the a priori input, as I have previously argued. For instance, the supposed metaphysically necessary identity statement involving water and its microstructure can only be established with the help of a controversial a priori principle concerning the determination of chemical properties by microstructure. The Kripke-Putnam framework of modal epistemology fails precisely because it is unclear whether the required a priori element is present. My positive proposal builds on E. J. Lowe’s work. Lowe holds that our knowledge of metaphysical modality is based on our knowledge of essence. Lowe’s account strives to offer a uniform picture of modal epistemology: essence is the basis of all our modal knowledge. This is the basis of Lowe’s modal rationalism. I believe that Lowe’s proposal is on the right lines in the case of abstract objects, but I doubt that it can be successfully applied to the case of natural kinds. Accordingly, the case of natural kinds will be my main focus and I will suggest that modal rationalism, at least as it is traditionally understood, falls short of explaining modal knowledge concerning natural kinds. Yet, I think that Lowe has identified something of crucial importance for modal epistemology, namely the essentialist, a priori elements present in our modal inquiry. The upshot is that rather than moving all the way from modal rationalism to modal empiricism, a type of hybrid approach, ‘empirically-informed modal rationalism ’, can be developed. (shrink)

Subintuitionistic (propositional) logics are those in a standard intuitionistic language that result by weakening the frame conditions of the Kripke semantics for intuitionistic logic. In this paper we consider two negation expansions of subintuitionistic logic, one by classical negation and the other by what has been dubbed “empirical” negation. We provide an axiomatization of each expansion and show them sound and strongly complete. We conclude with some final remarks, including avenues for future research.

Must we believe in logical necessity? I examine an argument for an affirmative answer given by Ian McFetridge in his posthumously published paper 'Logical Necessity: Some Issues', and explain why it fails, as it stands, to establish his conclusion. I contend, however, that McFetridge's argument can be effectively buttressed by drawing upon another argument aimed at establishing that we ought to believe that some propositions are logically necessary, given by Crispin Wright in his paper 'Inventing Logical (...) necessity'. My contention is that Wright's argument, whilst it likewise fails, as it stands, to establish the necessity of necessity, established enough to close off what appears to me to be the only effective-looking sceptical response to McFetridge's original argument. My paper falls into four principal parts. In the first I expound McFetridge's argument and draw attention to the possibility of a certain type of sceptical counter to it. In the second, I begin a response to this sceptical move, taking it as far as I can without reliance upon argument of the kind given by Wright. Turning, then, to Wright's argument, I explain to what extent I think it is successful and seek to rebut some objections to the argument which, were they well-taken, would show that the argument cannot enjoy even the partial success I which to claim for it. Finally, I return to my main theme and try to show, with the assistance of what I take to be solidly established by Wright's argument, that the sceptical response collapses. (shrink)

Timothy Williamson in his article "Necessary Existents" presents a proof of the claim that everything necessarily exists using just three seemingly uncontroversial principles relating the notions of proposition with those of truth and existence. The argument, however, may be easily blocked once the distinction, introduced by R. M. Adams, between the notions of a proposition being true in a world and of (or at) a world is introduced. In this paper I defend the plausibility of the notion of a (...) proposition's being true of a world by rejecting two criticisms of it raised by Williamson; in the final section, I present a conception of propositions, according to which they are equivalence classes of mental representations, for which at least one of the principles comes out as false. (shrink)

The underdetermination of theory by evidence must be distinguished from holism. The latter is a doctrine about the testing of scientific hypotheses; the former is a thesis about empirically adequate logically incompatible global theories or "systems of the world". The distinction is crucial for an adequate assessment of the underdetermination thesis. The paper shows how some treatments of underdetermination are vitiated by failure to observe this distinction, and identifies some necessary conditions for the existence of multiple (...) empirically equivalent global theories. We consider how empiricists should respond to the possibility of such systems of the world. (shrink)

The general theory of perception proposed by Roderick Chisholm in his book Perceiving: A Philosophical Study1 has gained considerable acceptance among contemporary philosophers of perception. In this paper, I will review and evaluate one part of this theory and show where I believe an important modification is necessary. Chisholm distinguishes what he thinks are two importantly different senses of “perceive,” a propositional and a nonpropositional sense, and then proposes a definition of each. The propositional sense of “perceive” is expressed (...) in contexts in which what is perceived is referred to by a propositional clause, as in 1. George perceives that this is a door. The nonpropositional sense is expressed in contexts in which the perceptual object is referred to by a noun or noun phrase, as in 2. George perceives the door. The problem areas I will deal with are, first and foremost, the adequacy of the definitions Chisholm gives of these two senses, and second, the ways in which these senses are related to one another. In the first section, dealing with the propositional sense, I will not be concerned with propositional perceivings in their entirety. Specifically, I will not be concerned with them as instances of knowing that something is such and such, which is a central feature of Chisholm’s definition. Rather, I will be concerned mainly with the mental state, qua mental, which is involved in these perceptions, that is, the mental state considered apart from any relation it may have to the object it is about. I will assume that the mental state involved in a propositional perceiving is a conceptual state, i.e., one which involves the exercise of concepts or thoughts, together with an accompanying propositional attitude. The key locution Chisholm uses to describe this conceptual mental state is “S takes something to have some property.” I will argue that Chisholm’s definition of taking will not do the job it is intended to do in these perceptual contexts. In the second section, I will explore what Chisholm calls the “simplest” nonpropositional sense of “perceive,” which he defines wholly in terms of a causal relation existing between the object perceived and the subject’s sensory state. Significantly, this definition does not make any reference to a taking or to any propositional state on the part of the subject, but only to the subject’s sensory state. Consequently, if one accepts the idea, as I believe Chisholm would, that sensing is a nonconceptual state, then Chisholm’s nonpropositional sense of “perceive” would not refer to any conceptual fact at all. I will consider Chisholm’s definition, and raise the question of whether nonpropositional perceptual contexts should ever be construed as having a propositional meaning, that is, as including the idea that the subject exhibits some thought. As we shall see, Chisholm makes allowance for such a possibility. (shrink)

ABSTRACT:Moral realism entails that there are metaphysically necessary moral principles of the form ‘all actions of nonmoral kind Z are morally good’; being discoverable a priori, these must be logically necessary. This article seeks to justify this apparently puzzling consequence. A sentence expresses a logically necessary proposition iff its negation entails a contradiction. The method of reflective equilibrium assumes that the simplest account of the apparently correct use of sentences of some type in paradigm examples is (...) probably logically necessary. An account is simple insofar as it uses few predicates designating properties easily recognizable in many different kinds of paradigm examples. I illustrate how reflective equilibrium uses these criteria to discover logically necessary nonmoral propositions such as ‘if S remembers doing X, S believes that he did X’ and ‘if it is scarlet, it is red’. I then illustrate how exactly the same procedures can lead us from paradigm examples of apparently true sentences asserting that actions of some kind are good to discovering moral principles. I advance the contingent hypothesis that most contemporary humans, although they initially disagree about moral issues, have derived from different paradigm examples the same concept of moral goodness, which will ensure that the use of reflective equilibrium will lead to eventual agreement about moral issues. That strongly suggests that the moral principles eventually reached by reflective equilibrium are logically necessary ones. (shrink)

First of all, this paper aims at a clarification of Wittgenstein's conception of grammatical propositions. Their essential characteristics will be developed and some of the central questions concerning their status will be discussed: Should grammatical propositions be seen as arbitrary conventions? How do they work in practices? And how do they relate to natural facts? Later on, the two propositions "Every rod has a length" and "Sensations are private" will be discussed in more detail, for both (...) fulfil three important features of grammatical propositions: They are not empirical descriptions, they are rules of a practice, and they are not knowledge-claims but express insights. Focussing on the grammar of pain language, it will be shown what kind of interdependency exists between grammar and natural facts. It will also turn out that some grammatical propositions are closely connected to our understanding of living a human form of life. (shrink)

In this thesis, I deal with the notions of a condition holding for some proposition and a proposition being true in a certain number of possible worlds. These notions are called propositional quantifiers and numerical modalizers respectively. In each chapter, I attempt to dispose of a system. A system consists of: a language; axioms and rules of inference; and an interpretation. To dispose of a system is to prove its decidability and its consistency and completeness for the given interpretation. (...) I shall, in passing, make applications to de definability, translatability and other topics. In Chapter 1, I consider the system 5SQ. Its language is that of 55 with Q as a fresh unary operator. Its axioms and rules of inference are those for 85 plus the following special axiom-schemes for Q: 1) QA::>MA 2) Q A ::> L V L 3) L ::> 4) Q A ::> L Q A. 'QA' is interpreted as 'A is true in exactly one possible world.' I dispose of the system by showing that every formula in it is equivalent to one in normal form. In Chapter 2 I consider the system S5n. Its language is that of S5 but with the unary operators Qk for each non-negative integer k. Its axioms and rules are those of S5 plus the following special axiom-schemes for Qk: 1) Qk A>~Q1 A, 1˂K 2) Qk A ≡ Vki≡oQi ˄ Qk-I 3) L ˂ 4) Qk A ˂ L Qk A 5) Qo A ≡ L ~ A, 1 ≥ 0, k ≥ 1 ‘Qk A’ is interpreted as 'A is true in exactly k possible worlds.' I dispose of this system by generalising the normal forms of S5Q. In the chapters 3-5, I consider three systems which result from adding propositional quantifiers to S5. The first two systems, S5╥+ and S5╥, contain the usual axioms and rules for quantifiers. The first contains, in addition, the axiom-scheme G = )). The last, S5╥-, results from S5╥ by restricting the Scheme of Specification, viz., A > A, B free for P in A, to formulas B of the propositional calculus. To interpret these systems we must specify which propositions the variable P ranges over. For St╥-, we merely require that if p and q are propositions, then and are also propositions. For S5╥+, we also require that each possible world be describable i.e. that there be a proposition which is true in that world alone. And for S5╥, we require not that each possible world be describable but that there be a proposition which is true in just those possible worlds which are describable. Again, we dispose of the systems by normal forms. This requires that we eliminate quantifiers and nested occurrences of L by adding new symbols to the language. For S5╥+, the operators Qk suffice. For S5╥, the operators Qk suffice. For S5╥, we also require the constant g and a fresh unary operator N. For S5╥-, even greater additions are required. In the last two chapters, 6 and 7, I turn to systems which have essentially the same language as S5╥. However, ‘Qk A' is now interpreted as 'A is true in exactly k possible worlds accessible from the given world.' Different conditions on R, the relation of accessibility, lead to different axioms. In chapter 6 I consider the conditions of reflexivity, symmetry and transitivity, and in Chapter 7 the conditions of being a partial, convergent, total or dense order. I prove consistency and completeness by the method of maximally consistent systems. The method can yield decidability results, but I do not go into the matter. I have, as a rule, not given acknowledgements for well-established results or terminology. The main references are at the end of each chapter. Fuller references are in the bibliography. (shrink)

Critics contend that Aristotelianism demands too much of the virtuous person in the way of knowledge to be credible. This general charge is usually directed against either of two of Aristotelianism’s apparent claims about the necessary conditions for the possession of a single virtue, namely that 1) one must know what all the other virtues require, and 2) one must also be the master of a preternatural range of technical/empirical knowledge. I argue that Aristotelianism does indeed have a very (...) high standard when it comes to the knowledge necessary for the full possession of a virtue, in both of these respects. However, focus on the necessary conditions for full virtue tends to obscure an important fact: some kinds of knowledge are much more important to various virtues than others are. A proper appreciation of the significance of this fact will go a long way toward answering critics’ worries about Aristotelianism’s knowledge requirements. (shrink)

This study provides current data on key questions about retraction of scientific articles. Findings confirm that the rate of retractions remains low but is increasing. The most commonly cited reason for retraction was research error or inability to reproduce results; the rate from research misconduct is an underestimate, since some retractions necessitated by research misconduct were reported as being due to inability to reproduce. Retraction by parties other than authors is increasing, especially for research misconduct. Although retractions are on (...) average occurring sooner after publication than in the past, citation analysis shows that they are not being recognised by subsequent users of the work. Findings suggest that editors and institutional officials are taking more responsibility for correcting the scientific record but that reasons published in the retraction notice are not always reliable. More aggressive means of notification to the scientific community appear to be necessary. (shrink)

Background As the UK’s main healthcare priority-setter, the National Institute for Health and Care Excellence (NICE) has good reason to want to demonstrate that its decisions are morally justified. In doing so, it has tended to rely on the moral plausibility of its principle of cost-effectiveness and the assertion that it has adopted a fair procedure. But neither approach provides wholly satisfactory grounds for morally defending NICE’s decisions. In this study we adopt a complementary approach, based on the proposition that (...) a priority-setter's claim to moral justification can be assessed, in part, based on the coherence of its approach and that the reliability of any such claim is undermined by the presence of dissonance within its moral system. This study is the first to empirically assess the coherence of NICE’s formal approach and in doing so to generate evidence-based conclusions about the extent to which this approach is morally justified. Methods The study is grounded in the theory, methods and standards of empirical bioethics. Twenty NICE policy documents were coded to identify and classify the normative commitments contained within NICE technology appraisal policy as of 31 December 2021. Coherence was systematically assessed by attempting to bring these commitments into narrow reflective equilibrium (NRE) and by identifying sources of dissonance. Findings Much of NICE policy rests on coherent values that provide a strong foundation for morally justified decision-making. However, NICE’s formal approach also contains several instances of dissonance which undermine coherence and prevent NRE from being fully established. Dissonance arises primarily from four sources: i) NICE’s specification of the principle of cost-effectiveness; ii) its approach to prioritising the needs of particular groups; iii) its conception of reasonableness in the context of uncertainty, and iv) its concern for innovation as an independent value. Conclusion At the time of analysis, the level of coherence across NICE policy provides reason to question the extent to which its formal approach to technology appraisal is morally justified. Some thoughts are offered on why, given these findings, NICE has been able to maintain its legitimacy as a healthcare priority-setter and on what could be done to enhance coherence. (shrink)